bcr: add option "prefer_shortnames". Remove global_opts.objective check.
authoroliskoli <oliskoli>
Tue, 30 Jan 2007 22:44:37 +0000 (22:44 +0000)
committeroliskoli <oliskoli>
Tue, 30 Jan 2007 22:44:37 +0000 (22:44 +0000)
commitf6e442e5b4f953813faaba65a1beaad601a8bc5f
tree45f37ef728bce4a55a85b5cd03f541770da00f59
parentbadffbbe00da1b1251b8cc5f72ad85e304aa88d7
bcr: add option "prefer_shortnames". Remove global_opts.objective check.
bcr.c